#Density : 788683202491998402607933809/3200000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {3, 5, 6, 9, 10, 12, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
457397385299058203619011/250000000000000000000000000 -1509077751673237478891851/125000000000000000000000000 -199480218849683119455219/250000000000000000000000000 211224394592561957586693/62500000000000000000000000 5973803411466219311623361/500000000000000000000000000 -5006235951645476328802427/500000000000000000000000000
-1509077751673237478891851/125000000000000000000000000 4978855878474656577734291/62500000000000000000000000 658139223878910533283579/125000000000000000000000000 -696886437778551210935613/31250000000000000000000000 -19709194041892395240610201/250000000000000000000000000 16516927155837069934026307/250000000000000000000000000
-199480218849683119455219/250000000000000000000000000 658139223878910533283579/125000000000000000000000000 86997344084728868924451/250000000000000000000000000 -92119215837158919859797/62500000000000000000000000 -2605296073358901870396369/500000000000000000000000000 2183320402224099684112683/500000000000000000000000000
211224394592561957586693/62500000000000000000000000 -696886437778551210935613/31250000000000000000000000 -92119215837158919859797/62500000000000000000000000 97542632085278303068659/15625000000000000000000000 2758679978410737067510743/125000000000000000000000000 -2311860959551513462325901/125000000000000000000000000
5973803411466219311623361/500000000000000000000000000 -19709194041892395240610201/250000000000000000000000000 -2605296073358901870396369/500000000000000000000000000 2758679978410737067510743/125000000000000000000000000 78020400522212865566575211/1000000000000000000000000000 -65383560045913011552030377/1000000000000000000000000000
-5006235951645476328802427/500000000000000000000000000 16516927155837069934026307/250000000000000000000000000 2183320402224099684112683/500000000000000000000000000 -2311860959551513462325901/125000000000000000000000000 -65383560045913011552030377/1000000000000000000000000000 54793488570471922888349939/1000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
291687391248166102761/1220703125000000000000 11637845220743940126357/78125000000000000000000 -7079071359217441715703/78125000000000000000000 -19622973135297697221771/39062500000000000000000 2099610873296612690157/15625000000000000000000 -26472078064688370675561/39062500000000000000000
11637845220743940126357/78125000000000000000000 464330805669832337910609/5000000000000000000000000 -282443256915007237777611/5000000000000000000000000 -782924222888728785851727/2500000000000000000000000 83771006565134213131209/1000000000000000000000000 -1056192199018239169479957/2500000000000000000000000
-7079071359217441715703/78125000000000000000000 -282443256915007237777611/5000000000000000000000000 171804653929166881001769/5000000000000000000000000 476237339263640809254933/2500000000000000000000000 -50956248520217859505011/1000000000000000000000000 642460851135202901450103/2500000000000000000000000
-19622973135297697221771/39062500000000000000000 -782924222888728785851727/2500000000000000000000000 476237339263640809254933/2500000000000000000000000 1320115597115431000804881/1250000000000000000000000 -141249190048894184173527/500000000000000000000000 1780882178266419354242571/1250000000000000000000000
2099610873296612690157/15625000000000000000000 83771006565134213131209/1000000000000000000000000 -50956248520217859505011/1000000000000000000000000 -141249190048894184173527/500000000000000000000000 15113323206743448391809/200000000000000000000000 -190550104704691804283757/500000000000000000000000
-26472078064688370675561/39062500000000000000000 -1056192199018239169479957/2500000000000000000000000 642460851135202901450103/2500000000000000000000000 1780882178266419354242571/1250000000000000000000000 -190550104704691804283757/500000000000000000000000 2402472434836043260688361/1250000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
137640013015897240224270899/100000000000000000000000000 435965762480170943125309807/500000000000000000000000000 29146795770710216984793197/100000000000000000000000000 -26456270590563058776384859/50000000000000000000000000 -1061010864743893529444631689/500000000000000000000000000 1443638083179527657905753659/500000000000000000000000000 64648618564120202559918083/500000000000000000000000000 213999787755853670334364821/125000000000000000000000000 -598444296161253113320431181/500000000000000000000000000 -414824332830111558334347707/500000000000000000000000000 46690321525050037652591547/50000000000000000000000000 -423945901271620384220362981/500000000000000000000000000
435965762480170943125309807/500000000000000000000000000 276178622611673884464616569/500000000000000000000000000 92320574235270076885788257/500000000000000000000000000 -83798511258963491021535039/250000000000000000000000000 -672136540112636410345288283/500000000000000000000000000 914525890964690666442501111/500000000000000000000000000 40954056408496729482603251/500000000000000000000000000 33891518387461886928597477/31250000000000000000000000 -379106653934718848445536733/500000000000000000000000000 -262785802541216425827156421/500000000000000000000000000 36972136913707203948570017/62500000000000000000000000 -268564197420933830484921059/500000000000000000000000000
29146795770710216984793197/100000000000000000000000000 92320574235270076885788257/500000000000000000000000000 140486824080743488088209671/500000000000000000000000000 -5602408046657490670310813/50000000000000000000000000 -224680790771859923842096967/500000000000000000000000000 305706338068998844460683533/500000000000000000000000000 2738012074756515443964937/100000000000000000000000000 45316822990664664523823283/125000000000000000000000000 -35393405364344150877940879/100000000000000000000000000 -118582779527216026221047973/500000000000000000000000000 49435961097027926762675473/250000000000000000000000000 -89395134047007331733458107/500000000000000000000000000
-26456270590563058776384859/50000000000000000000000000 -83798511258963491021535039/250000000000000000000000000 -5602408046657490670310813/50000000000000000000000000 127131318543294952919649/625000000000000000000000 203940626872431758709971263/250000000000000000000000000 -277486749140514036738413193/250000000000000000000000000 -12426338159681210110118881/250000000000000000000000000 -41133651233657007006296877/62500000000000000000000000 115029081269127667417368417/250000000000000000000000000 79734842734794612879580799/250000000000000000000000000 -2243627694376279777656149/6250000000000000000000000 81488131515514613878033687/250000000000000000000000000
-1061010864743893529444631689/500000000000000000000000000 -672136540112636410345288283/500000000000000000000000000 -224680790771859923842096967/500000000000000000000000000 203940626872431758709971263/250000000000000000000000000 327156044361769356670676081/100000000000000000000000000 -2225683734619549028446785309/500000000000000000000000000 -99669979948771025563103713/500000000000000000000000000 -164963730303936618168292941/62500000000000000000000000 922632723279030347132859563/500000000000000000000000000 127908480766725410615243771/100000000000000000000000000 -562369834030635454132221/390625000000000000000000 653605296143437059164397221/500000000000000000000000000
1443638083179527657905753659/500000000000000000000000000 914525890964690666442501111/500000000000000000000000000 305706338068998844460683533/500000000000000000000000000 -277486749140514036738413193/250000000000000000000000000 -2225683734619549028446785309/500000000000000000000000000 3028321299222125271603915099/500000000000000000000000000 135613482938760716733445107/500000000000000000000000000 448907605611755333319413043/125000000000000000000000000 -1255357301422799997196062321/500000000000000000000000000 -870177488954326697489338299/500000000000000000000000000 489711710951916374823405543/250000000000000000000000000 -889311814041716917818081321/500000000000000000000000000
64648618564120202559918083/500000000000000000000000000 40954056408496729482603251/500000000000000000000000000 2738012074756515443964937/100000000000000000000000000 -12426338159681210110118881/250000000000000000000000000 -99669979948771025563103713/500000000000000000000000000 135613482938760716733445107/500000000000000000000000000 6073007101163797562279443/500000000000000000000000000 20102861585508517366126941/125000000000000000000000000 -11243415682701134508083317/100000000000000000000000000 -38968058011201117718738791/500000000000000000000000000 21930140231536175787054873/250000000000000000000000000 -39824926340185989282035933/500000000000000000000000000
213999787755853670334364821/125000000000000000000000000 33891518387461886928597477/31250000000000000000000000 45316822990664664523823283/125000000000000000000000000 -41133651233657007006296877/62500000000000000000000000 -164963730303936618168292941/62500000000000000000000000 448907605611755333319413043/125000000000000000000000000 20102861585508517366126941/125000000000000000000000000 133088941670649366446629247/62500000000000000000000000 -37217942530202374457740719/25000000000000000000000000 -16124002975804749290812267/15625000000000000000000000 29037250658961340676287541/25000000000000000000000000 -32957107058936274837762463/31250000000000000000000000
-598444296161253113320431181/500000000000000000000000000 -379106653934718848445536733/500000000000000000000000000 -35393405364344150877940879/100000000000000000000000000 115029081269127667417368417/250000000000000000000000000 922632723279030347132859563/500000000000000000000000000 -1255357301422799997196062321/500000000000000000000000000 -11243415682701134508083317/100000000000000000000000000 -37217942530202374457740719/25000000000000000000000000 740592176755717952166425223/500000000000000000000000000 272492743508008499642747233/500000000000000000000000000 -203004606004640788765314641/250000000000000000000000000 355123443778572583686292439/500000000000000000000000000
-414824332830111558334347707/500000000000000000000000000 -262785802541216425827156421/500000000000000000000000000 -118582779527216026221047973/500000000000000000000000000 79734842734794612879580799/250000000000000000000000000 127908480766725410615243771/100000000000000000000000000 -870177488954326697489338299/500000000000000000000000000 -38968058011201117718738791/500000000000000000000000000 -16124002975804749290812267/15625000000000000000000000 272492743508008499642747233/500000000000000000000000000 519498162336537240921642289/500000000000000000000000000 -35179235016692152389263589/62500000000000000000000000 234610338404752159077844751/500000000000000000000000000
46690321525050037652591547/50000000000000000000000000 36972136913707203948570017/62500000000000000000000000 49435961097027926762675473/250000000000000000000000000 -2243627694376279777656149/6250000000000000000000000 -562369834030635454132221/390625000000000000000000 489711710951916374823405543/250000000000000000000000000 21930140231536175787054873/250000000000000000000000000 29037250658961340676287541/25000000000000000000000000 -203004606004640788765314641/250000000000000000000000000 -35179235016692152389263589/62500000000000000000000000 158383167535792469676688893/250000000000000000000000000 -71905581849391607997121731/125000000000000000000000000
-423945901271620384220362981/500000000000000000000000000 -268564197420933830484921059/500000000000000000000000000 -89395134047007331733458107/500000000000000000000000000 81488131515514613878033687/250000000000000000000000000 653605296143437059164397221/500000000000000000000000000 -889311814041716917818081321/500000000000000000000000000 -39824926340185989282035933/500000000000000000000000000 -32957107058936274837762463/31250000000000000000000000 355123443778572583686292439/500000000000000000000000000 234610338404752159077844751/500000000000000000000000000 -71905581849391607997121731/125000000000000000000000000 335294613578970875681032309/500000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
112517470787616655613754167/125000000000000000000000000 12500141301815505394780293/500000000000000000000000000 88272449479961135108010903/125000000000000000000000000 382723197449733036972559/1250000000000000000000000
12500141301815505394780293/500000000000000000000000000 588883558364099460522481991/62500000000000000000000000 25852690249300628220787319/62500000000000000000000000 610069258623352890379495677/100000000000000000000000000
88272449479961135108010903/125000000000000000000000000 25852690249300628220787319/62500000000000000000000000 1947998588134712453759760493/1000000000000000000000000000 324842599371967619719264811/500000000000000000000000000
382723197449733036972559/1250000000000000000000000 610069258623352890379495677/100000000000000000000000000 324842599371967619719264811/500000000000000000000000000 2600274948020384370695780571/500000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
80040855793503240138039699/125000000000000000000000000 -151415540096438146866230511/500000000000000000000000000 -1404060007333892895053608049/1000000000000000000000000000 133433386353140211063445861/1000000000000000000000000000 385886470948479169900251233/1000000000000000000000000000 284082067321549817478325259/1000000000000000000000000000 -557064997156194418370385291/1000000000000000000000000000 12209295570658201200368143/25000000000000000000000000 267880497358271582103580191/500000000000000000000000000 49947229852124747602902139/62500000000000000000000000
-151415540096438146866230511/500000000000000000000000000 45029448056560013492115649/200000000000000000000000000 27063341214360396375430613/40000000000000000000000000 -12932306894112478914334187/125000000000000000000000000 -72831907345525327537880791/250000000000000000000000000 -17344112508035636989606259/125000000000000000000000000 89082886548440111689664821/1000000000000000000000000000 127647856358283123686032251/500000000000000000000000000 4772349038228574591555477/62500000000000000000000000 -332819660490800010073755647/500000000000000000000000000
-1404060007333892895053608049/1000000000000000000000000000 27063341214360396375430613/40000000000000000000000000 3080641055262420698939138731/1000000000000000000000000000 -298768234615672630383180687/1000000000000000000000000000 -862824609706582468754158219/1000000000000000000000000000 -623588224503976096887731539/1000000000000000000000000000 1194761030195729957927285741/1000000000000000000000000000 -996327108805699821592108021/1000000000000000000000000000 -140528981411483887679552961/125000000000000000000000000 -898213626471451224414080921/500000000000000000000000000
133433386353140211063445861/1000000000000000000000000000 -12932306894112478914334187/125000000000000000000000000 -298768234615672630383180687/1000000000000000000000000000 71315941174502342001975249/200000000000000000000000000 7301237156798213251841201/250000000000000000000000000 30682911366896288673417423/500000000000000000000000000 -26216964006257163763150581/250000000000000000000000000 -68868655255158202758064483/500000000000000000000000000 -36462948515046643486633961/1000000000000000000000000000 308232227053429989914023673/1000000000000000000000000000
385886470948479169900251233/1000000000000000000000000000 -72831907345525327537880791/250000000000000000000000000 -862824609706582468754158219/1000000000000000000000000000 7301237156798213251841201/250000000000000000000000000 242066729539284722129893433/250000000000000000000000000 88522866533912226518987241/500000000000000000000000000 -36263770420182102747181003/200000000000000000000000000 -351611593015738082303212909/1000000000000000000000000000 -8287088507881125052610309/50000000000000000000000000 43187921299832228270116467/50000000000000000000000000
284082067321549817478325259/1000000000000000000000000000 -17344112508035636989606259/125000000000000000000000000 -623588224503976096887731539/1000000000000000000000000000 30682911366896288673417423/500000000000000000000000000 88522866533912226518987241/500000000000000000000000000 2525398649945229118753393/20000000000000000000000000 -237775220475713340891597157/1000000000000000000000000000 190543895387314354272281277/1000000000000000000000000000 109988555955340662481200141/500000000000000000000000000 185001117749134340109477779/500000000000000000000000000
-557064997156194418370385291/1000000000000000000000000000 89082886548440111689664821/1000000000000000000000000000 1194761030195729957927285741/1000000000000000000000000000 -26216964006257163763150581/250000000000000000000000000 -36263770420182102747181003/200000000000000000000000000 -237775220475713340891597157/1000000000000000000000000000 522999400711944483826689789/500000000000000000000000000 -145979344879274295701368369/100000000000000000000000000 -1249712654714032636451498009/1000000000000000000000000000 -16587378036617102371351269/200000000000000000000000000
12209295570658201200368143/25000000000000000000000000 127647856358283123686032251/500000000000000000000000000 -996327108805699821592108021/1000000000000000000000000000 -68868655255158202758064483/500000000000000000000000000 -351611593015738082303212909/1000000000000000000000000000 190543895387314354272281277/1000000000000000000000000000 -145979344879274295701368369/100000000000000000000000000 814633989693675140662303023/250000000000000000000000000 591416591322707853644546367/250000000000000000000000000 -43920117449170124858038143/40000000000000000000000000
267880497358271582103580191/500000000000000000000000000 4772349038228574591555477/62500000000000000000000000 -140528981411483887679552961/125000000000000000000000000 -36462948515046643486633961/1000000000000000000000000000 -8287088507881125052610309/50000000000000000000000000 109988555955340662481200141/500000000000000000000000000 -1249712654714032636451498009/1000000000000000000000000000 591416591322707853644546367/250000000000000000000000000 977664508394454941705185619/500000000000000000000000000 -489216629595761058532946201/1000000000000000000000000000
49947229852124747602902139/62500000000000000000000000 -332819660490800010073755647/500000000000000000000000000 -898213626471451224414080921/500000000000000000000000000 308232227053429989914023673/1000000000000000000000000000 43187921299832228270116467/50000000000000000000000000 185001117749134340109477779/500000000000000000000000000 -16587378036617102371351269/200000000000000000000000000 -43920117449170124858038143/40000000000000000000000000 -489216629595761058532946201/1000000000000000000000000000 2007615950037901434014508931/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 552525253459438716626823621/1000000000000000000000000000 49080430438447110575570607/100000000000000000000000000 0/1 41670718309507860891580359/100000000000000000000000000 -2592938102879673980072961/125000000000000000000000000
0/1 49080430438447110575570607/100000000000000000000000000 2799787719619241810972432341/1000000000000000000000000000 0/1 1348609629317777135857101/781250000000000000000000 -1754562435578854427399363/12500000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 41670718309507860891580359/100000000000000000000000000 1348609629317777135857101/781250000000000000000000 0/1 251370121466117592938638231/100000000000000000000000000 -10095096942193133382662073/100000000000000000000000000
0/1 -2592938102879673980072961/125000000000000000000000000 -1754562435578854427399363/12500000000000000000000000 0/1 -10095096942193133382662073/100000000000000000000000000 120086851511797498588532687/500000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
112355423165388976978411591/250000000000000000000000000 0/1 0/1 0/1 0/1 -22520417094813021455611/625000000000000000000000 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-22520417094813021455611/625000000000000000000000 0/1 0/1 0/1 0/1 29593860226922149018918591/250000000000000000000000000 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
2980901409905139803411258973/1000000000000000000000000000 348680413523121773/250000000000000000000000000 -1544091985290856443471996803/500000000000000000000000000 1544091985290856443471996803/500000000000000000000000000 61763679378688433726385663/20000000000000000000000000 29405500922002357544043057/40000000000000000000000000 41310938463850681/20000000000000000000000000
348680413523121773/250000000000000000000000000 1046646779285107454516183/3906250000000000000000000 6972675068488680182446063/500000000000000000000000000 -6972675068488680182446063/500000000000000000000000000 1394535391054383375145063/100000000000000000000000000 3603009411777631/250000000000000000000000000 402410670892691258166167077/500000000000000000000000000
-1544091985290856443471996803/500000000000000000000000000 6972675068488680182446063/500000000000000000000000000 1600026715408374248174874251/500000000000000000000000000 -1600026715408374248174874251/500000000000000000000000000 -31986018228296311227488341/10000000000000000000000000 -380797551219450629107444413/500000000000000000000000000 20943961342370017975402897/500000000000000000000000000
1544091985290856443471996803/500000000000000000000000000 -6972675068488680182446063/500000000000000000000000000 -1600026715408374248174874251/500000000000000000000000000 1600026715408374248174874251/500000000000000000000000000 31986018228296311227488341/10000000000000000000000000 380797551219450629107444413/500000000000000000000000000 -20943961342370017975402897/500000000000000000000000000
61763679378688433726385663/20000000000000000000000000 1394535391054383375145063/100000000000000000000000000 -31986018228296311227488341/10000000000000000000000000 31986018228296311227488341/10000000000000000000000000 320005342749558393803018213/100000000000000000000000000 380797551080548001979294377/500000000000000000000000000 10471982404748106949915621/250000000000000000000000000
29405500922002357544043057/40000000000000000000000000 3603009411777631/250000000000000000000000000 -380797551219450629107444413/500000000000000000000000000 380797551219450629107444413/500000000000000000000000000 380797551080548001979294377/500000000000000000000000000 1003705452854984991613914053/1000000000000000000000000000 -534144309401097397/500000000000000000000000000
41310938463850681/20000000000000000000000000 402410670892691258166167077/500000000000000000000000000 20943961342370017975402897/500000000000000000000000000 -20943961342370017975402897/500000000000000000000000000 10471982404748106949915621/250000000000000000000000000 -534144309401097397/500000000000000000000000000 1208728789087280097883785067/500000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1358726412180710276730621319/500000000000000000000000000 -3719287100475504404293583851/1000000000000000000000000000 1416431355366578707123908637/1000000000000000000000000000 49479934503632861616299819/100000000000000000000000000 -90895621547907103208569467/62500000000000000000000000 329770973003762236774919427/250000000000000000000000000 901926796588873994274867641/500000000000000000000000000 -459350981462375616130139257/250000000000000000000000000 -13039424140137228125804913/200000000000000000000000000 -402331332394205563770880431/500000000000000000000000000 -3145502774046894738947948073/1000000000000000000000000000 585171197256474031795296567/1000000000000000000000000000
-3719287100475504404293583851/1000000000000000000000000000 6186090803172134603033974997/1000000000000000000000000000 -30486342843536812802265619/12500000000000000000000000 -812986023072291902099414821/1000000000000000000000000000 2180904382524247505990623821/1000000000000000000000000000 -109700121314118584342562123/50000000000000000000000000 -1500116698815454938828100003/500000000000000000000000000 95615076602930183099112037/31250000000000000000000000 18571725967134440950028253/250000000000000000000000000 54173658473135076316605291/40000000000000000000000000 2592324669465160634508902601/500000000000000000000000000 -483524878299734042886799359/500000000000000000000000000
1416431355366578707123908637/1000000000000000000000000000 -30486342843536812802265619/12500000000000000000000000 274136227577157455529798351/200000000000000000000000000 57538407813827795025204237/200000000000000000000000000 -905382078298788808975662311/1000000000000000000000000000 216254301612153305583700723/250000000000000000000000000 591426880153387447543278557/500000000000000000000000000 -75488840377368753458883769/62500000000000000000000000 -66545155102222590973877153/1000000000000000000000000000 -108132907278279634506693601/200000000000000000000000000 -2024328495248428870378748007/1000000000000000000000000000 75730199156261082448494963/200000000000000000000000000
49479934503632861616299819/100000000000000000000000000 -812986023072291902099414821/1000000000000000000000000000 57538407813827795025204237/200000000000000000000000000 22296871464481958701459901/100000000000000000000000000 -176580804820407422678316641/500000000000000000000000000 28825290724735941924093881/100000000000000000000000000 98584205384897551029637183/250000000000000000000000000 -197223751435111974114326973/500000000000000000000000000 -131193523635897726294979897/1000000000000000000000000000 -36054455969781842942662241/250000000000000000000000000 -780851367688939272258698699/1000000000000000000000000000 140258759010919628742128337/1000000000000000000000000000
-90895621547907103208569467/62500000000000000000000000 2180904382524247505990623821/1000000000000000000000000000 -905382078298788808975662311/1000000000000000000000000000 -176580804820407422678316641/500000000000000000000000000 698922067698875201930174447/500000000000000000000000000 -15467267690290159090395283/20000000000000000000000000 -264448549971406025550216637/250000000000000000000000000 33344850741319306692472709/31250000000000000000000000 72997774596227188418762011/1000000000000000000000000000 106523476968765164044075303/250000000000000000000000000 395836895901047304378943263/200000000000000000000000000 -72193088134651799067654033/200000000000000000000000000
329770973003762236774919427/250000000000000000000000000 -109700121314118584342562123/50000000000000000000000000 216254301612153305583700723/250000000000000000000000000 28825290724735941924093881/100000000000000000000000000 -15467267690290159090395283/20000000000000000000000000 48633789236439954272619823/62500000000000000000000000 5320418531278427944314187/5000000000000000000000000 -542598097471123676505304381/500000000000000000000000000 -6535949200860950617385147/250000000000000000000000000 -240231229140904508972625199/500000000000000000000000000 -919232107866162034638082917/500000000000000000000000000 34293301563990747330504519/100000000000000000000000000
901926796588873994274867641/500000000000000000000000000 -1500116698815454938828100003/500000000000000000000000000 591426880153387447543278557/500000000000000000000000000 98584205384897551029637183/250000000000000000000000000 -264448549971406025550216637/250000000000000000000000000 5320418531278427944314187/5000000000000000000000000 727551629025484221535351387/500000000000000000000000000 -46372579024004892663361181/31250000000000000000000000 -112894027132808654467679/3125000000000000000000000 -328396338509116671061266007/500000000000000000000000000 -628677421507672200864845621/250000000000000000000000000 46903867995656637002189643/100000000000000000000000000
-459350981462375616130139257/250000000000000000000000000 95615076602930183099112037/31250000000000000000000000 -75488840377368753458883769/62500000000000000000000000 -197223751435111974114326973/500000000000000000000000000 33344850741319306692472709/31250000000000000000000000 -542598097471123676505304381/500000000000000000000000000 -46372579024004892663361181/31250000000000000000000000 757898392556781867057374461/500000000000000000000000000 9360374594625007099594193/500000000000000000000000000 340349115340055898178755237/500000000000000000000000000 633114341849357917397320441/250000000000000000000000000 -237043054736088719735055711/500000000000000000000000000
-13039424140137228125804913/200000000000000000000000000 18571725967134440950028253/250000000000000000000000000 -66545155102222590973877153/1000000000000000000000000000 -131193523635897726294979897/1000000000000000000000000000 72997774596227188418762011/1000000000000000000000000000 -6535949200860950617385147/250000000000000000000000000 -112894027132808654467679/3125000000000000000000000 9360374594625007099594193/500000000000000000000000000 373833737228989345239694861/1000000000000000000000000000 -63183663216696798041401301/1000000000000000000000000000 296276510066266556641512033/1000000000000000000000000000 -42589259140778186987575227/1000000000000000000000000000
-402331332394205563770880431/500000000000000000000000000 54173658473135076316605291/40000000000000000000000000 -108132907278279634506693601/200000000000000000000000000 -36054455969781842942662241/250000000000000000000000000 106523476968765164044075303/250000000000000000000000000 -240231229140904508972625199/500000000000000000000000000 -328396338509116671061266007/500000000000000000000000000 340349115340055898178755237/500000000000000000000000000 -63183663216696798041401301/1000000000000000000000000000 21516292946913829166991123/62500000000000000000000000 994442601661854447486818749/1000000000000000000000000000 -193101829550533549685612841/1000000000000000000000000000
-3145502774046894738947948073/1000000000000000000000000000 2592324669465160634508902601/500000000000000000000000000 -2024328495248428870378748007/1000000000000000000000000000 -780851367688939272258698699/1000000000000000000000000000 395836895901047304378943263/200000000000000000000000000 -919232107866162034638082917/500000000000000000000000000 -628677421507672200864845621/250000000000000000000000000 633114341849357917397320441/250000000000000000000000000 296276510066266556641512033/1000000000000000000000000000 994442601661854447486818749/1000000000000000000000000000 4759616731603240397957068559/1000000000000000000000000000 -173067348654321535808734767/200000000000000000000000000
585171197256474031795296567/1000000000000000000000000000 -483524878299734042886799359/500000000000000000000000000 75730199156261082448494963/200000000000000000000000000 140258759010919628742128337/1000000000000000000000000000 -72193088134651799067654033/200000000000000000000000000 34293301563990747330504519/100000000000000000000000000 46903867995656637002189643/100000000000000000000000000 -237043054736088719735055711/500000000000000000000000000 -42589259140778186987575227/1000000000000000000000000000 -193101829550533549685612841/1000000000000000000000000000 -173067348654321535808734767/200000000000000000000000000 158434396245820790900050029/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
22513774100710555152571571/31250000000000000000000000 -79712521141939830831951/100000000000000000000000000 -22352664457179987388155921/250000000000000000000000000 -12415268887844457726316287/125000000000000000000000000
-79712521141939830831951/100000000000000000000000000 205505613469745180431656969/1000000000000000000000000000 210623862895263072379745343/500000000000000000000000000 571474351554147435077291601/1000000000000000000000000000
-22352664457179987388155921/250000000000000000000000000 210623862895263072379745343/500000000000000000000000000 1627897166394234555698021319/1000000000000000000000000000 498898973428525091235834927/250000000000000000000000000
-12415268887844457726316287/125000000000000000000000000 571474351554147435077291601/1000000000000000000000000000 498898973428525091235834927/250000000000000000000000000 2806883409848626523785329/976562500000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
32429009892588800780597261/250000000000000000000000000 -11332428332247884175485047/500000000000000000000000000 -3251181916098087052617223/500000000000000000000000000 16139341408548575218947711/125000000000000000000000000 9339627705044402149470281/250000000000000000000000000 -19709877969953006268337779/125000000000000000000000000
-11332428332247884175485047/500000000000000000000000000 54977605014010350327444089/1000000000000000000000000000 1136136661160630728722101/1000000000000000000000000000 -1409987003323773755505873/62500000000000000000000000 -3263764825473988243640167/500000000000000000000000000 6887684215643553122982243/250000000000000000000000000
-3251181916098087052617223/500000000000000000000000000 1136136661160630728722101/1000000000000000000000000000 325948398874148107781109/1000000000000000000000000000 -1618055410849835629141553/250000000000000000000000000 -936347696038308533966603/500000000000000000000000000 1976020823227661143906737/250000000000000000000000000
16139341408548575218947711/125000000000000000000000000 -1409987003323773755505873/62500000000000000000000000 -1618055410849835629141553/250000000000000000000000000 32129052593889943008936349/250000000000000000000000000 1162041646196690597824709/31250000000000000000000000 -19618511371856606241160053/125000000000000000000000000
9339627705044402149470281/250000000000000000000000000 -3263764825473988243640167/500000000000000000000000000 -936347696038308533966603/500000000000000000000000000 1162041646196690597824709/31250000000000000000000000 2689833761738370557345721/250000000000000000000000000 -5676489136144949269581549/125000000000000000000000000
-19709877969953006268337779/125000000000000000000000000 6887684215643553122982243/250000000000000000000000000 1976020823227661143906737/250000000000000000000000000 -19618511371856606241160053/125000000000000000000000000 -5676489136144949269581549/125000000000000000000000000 5989687796160874749781143/31250000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
176884357631965523545981191/250000000000000000000000000 -143748787160430948903335419/500000000000000000000000000 -105009964785945304272644611/500000000000000000000000000 -14727205215229306477954553/250000000000000000000000000 14727205215229306477954553/250000000000000000000000000 -29454410140849219234485313/500000000000000000000000000 -252478381483900046921678029/500000000000000000000000000 1545296890133509404035511/6250000000000000000000000 -224115053807735268512098279/500000000000000000000000000 50245651308472196055899641/500000000000000000000000000
-143748787160430948903335419/500000000000000000000000000 353768715749613838838692421/500000000000000000000000000 -52504982032483103261541219/250000000000000000000000000 29454410377253331932417433/500000000000000000000000000 -29454410377253331932417433/500000000000000000000000000 14727205287087190036633401/250000000000000000000000000 -63119595315272691377984887/125000000000000000000000000 -56028763596712297495742783/125000000000000000000000000 123623751568524083286839269/500000000000000000000000000 25122825774012172682300689/250000000000000000000000000
-105009964785945304272644611/500000000000000000000000000 -52504982032483103261541219/250000000000000000000000000 70753743177360830930798229/100000000000000000000000000 -29454410552054757014775433/500000000000000000000000000 29454410552054757014775433/500000000000000000000000000 3681801317194156873129311/62500000000000000000000000 252478381754767688929248259/500000000000000000000000000 5024565161679042436962149/50000000000000000000000000 50245651668790163692493139/500000000000000000000000000 123623751547593703196876751/500000000000000000000000000
-14727205215229306477954553/250000000000000000000000000 29454410377253331932417433/500000000000000000000000000 -29454410552054757014775433/500000000000000000000000000 2557459236772678473988461/125000000000000000000000000 -2557459236772678473988461/125000000000000000000000000 -9134282448983597/62500000000000000000000000 19465318789510711/100000000000000000000000000 -15096683377669994520763059/250000000000000000000000000 7548341677067793475684729/125000000000000000000000000 -30193366840526154245074969/500000000000000000000000000
14727205215229306477954553/250000000000000000000000000 -29454410377253331932417433/500000000000000000000000000 29454410552054757014775433/500000000000000000000000000 -2557459236772678473988461/125000000000000000000000000 2557459236772678473988461/125000000000000000000000000 9134282448983597/62500000000000000000000000 -19465318789510711/100000000000000000000000000 15096683377669994520763059/250000000000000000000000000 -7548341677067793475684729/125000000000000000000000000 30193366840526154245074969/500000000000000000000000000
-29454410140849219234485313/500000000000000000000000000 14727205287087190036633401/250000000000000000000000000 3681801317194156873129311/62500000000000000000000000 -9134282448983597/62500000000000000000000000 9134282448983597/62500000000000000000000000 20459673880456580674420649/1000000000000000000000000000 -540850921190800607/500000000000000000000000000 -30193366690466201700940849/500000000000000000000000000 60386733047580009434902809/1000000000000000000000000000 15096683527111947346915287/250000000000000000000000000
-252478381483900046921678029/500000000000000000000000000 -63119595315272691377984887/125000000000000000000000000 252478381754767688929248259/500000000000000000000000000 19465318789510711/100000000000000000000000000 -19465318789510711/100000000000000000000000000 -540850921190800607/500000000000000000000000000 899111100231738227352700303/500000000000000000000000000 8946592322806204061179881/25000000000000000000000000 44732961445533039224268639/125000000000000000000000000 -178931846272114264704938247/500000000000000000000000000
1545296890133509404035511/6250000000000000000000000 -56028763596712297495742783/125000000000000000000000000 5024565161679042436962149/50000000000000000000000000 -15096683377669994520763059/250000000000000000000000000 15096683377669994520763059/250000000000000000000000000 -30193366690466201700940849/500000000000000000000000000 8946592322806204061179881/25000000000000000000000000 106920319212161635594173007/250000000000000000000000000 -142622285860276058386337871/500000000000000000000000000 -17804588060609551081073847/250000000000000000000000000
-224115053807735268512098279/500000000000000000000000000 123623751568524083286839269/500000000000000000000000000 50245651668790163692493139/500000000000000000000000000 7548341677067793475684729/125000000000000000000000000 -7548341677067793475684729/125000000000000000000000000 60386733047580009434902809/1000000000000000000000000000 44732961445533039224268639/125000000000000000000000000 -142622285860276058386337871/500000000000000000000000000 427681275872777664010486957/1000000000000000000000000000 -7121835172614335802646333/100000000000000000000000000
50245651308472196055899641/500000000000000000000000000 25122825774012172682300689/250000000000000000000000000 123623751547593703196876751/500000000000000000000000000 -30193366840526154245074969/500000000000000000000000000 30193366840526154245074969/500000000000000000000000000 15096683527111947346915287/250000000000000000000000000 -178931846272114264704938247/500000000000000000000000000 -17804588060609551081073847/250000000000000000000000000 -7121835172614335802646333/100000000000000000000000000 213840638226226971675793067/500000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 12203602459545284397761277/62500000000000000000000000 -67307952266935006836483/1250000000000000000000000 0/1
0/1 0/1 0/1 -67307952266935006836483/1250000000000000000000000 3126662625065808336799971/31250000000000000000000000 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
409141242604031859779377829/1000000000000000000000000000 -409141242604031859779377829/1000000000000000000000000000 49364067742092949/500000000000000000000000000 20474115156008152602838241/40000000000000000000000000 -511852879650844558966256001/1000000000000000000000000000 511852882311876308796719189/1000000000000000000000000000 -459638506192805987/1000000000000000000000000000 -139397663204047271457794243/250000000000000000000000000 139397663059990937482731317/250000000000000000000000000 138154390807501703/1000000000000000000000000000
-409141242604031859779377829/1000000000000000000000000000 409141242604031859779377829/1000000000000000000000000000 -49364067742092949/500000000000000000000000000 -20474115156008152602838241/40000000000000000000000000 511852879650844558966256001/1000000000000000000000000000 -511852882311876308796719189/1000000000000000000000000000 459638506192805987/1000000000000000000000000000 139397663204047271457794243/250000000000000000000000000 -139397663059990937482731317/250000000000000000000000000 -138154390807501703/1000000000000000000000000000
49364067742092949/500000000000000000000000000 -49364067742092949/500000000000000000000000000 799103989282674606206331/1953125000000000000000000 511852879856521201940233513/1000000000000000000000000000 -511852881611513531791981897/1000000000000000000000000000 -127963219337732156521315149/250000000000000000000000000 49385403764777157/62500000000000000000000000 -29367219211364997/15625000000000000000000000 314677137193836691/200000000000000000000000000 -557590652829458039123342759/1000000000000000000000000000
20474115156008152602838241/40000000000000000000000000 -20474115156008152602838241/40000000000000000000000000 511852879856521201940233513/1000000000000000000000000000 2869864883875407506004361789/1000000000000000000000000000 308467070904180408641941759/1000000000000000000000000000 -397291493773456029645658559/250000000000000000000000000 827630293704583333/1000000000000000000000000000 -21799041548038281465332423/31250000000000000000000000 69756932855291744495400479/100000000000000000000000000 -43598082997117265991885991/62500000000000000000000000
-511852879650844558966256001/1000000000000000000000000000 511852879650844558966256001/1000000000000000000000000000 -511852881611513531791981897/1000000000000000000000000000 308467070904180408641941759/1000000000000000000000000000 717466219671579306592548591/250000000000000000000000000 -794582988921133035573055919/500000000000000000000000000 -1272618893034693/1000000000000000000000000000 697569327122550489430604707/1000000000000000000000000000 -174392331287010703451753633/250000000000000000000000000 697569328806064668400399353/1000000000000000000000000000
511852882311876308796719189/1000000000000000000000000000 -511852882311876308796719189/1000000000000000000000000000 -127963219337732156521315149/250000000000000000000000000 -397291493773456029645658559/250000000000000000000000000 -794582988921133035573055919/500000000000000000000000000 2869864883038911689472553239/1000000000000000000000000000 -372871467065381361/200000000000000000000000000 -43598083028115425219845953/62500000000000000000000000 697569326763957216653180543/1000000000000000000000000000 348784662938648101871004863/500000000000000000000000000
-459638506192805987/1000000000000000000000000000 459638506192805987/1000000000000000000000000000 49385403764777157/62500000000000000000000000 827630293704583333/1000000000000000000000000000 -1272618893034693/1000000000000000000000000000 -372871467065381361/200000000000000000000000000 353296446795989928972873957/1000000000000000000000000000 -11438843994946677241757943/250000000000000000000000000 -11438844125766584791267513/250000000000000000000000000 9151074984635948566673929/200000000000000000000000000
-139397663204047271457794243/250000000000000000000000000 139397663204047271457794243/250000000000000000000000000 -29367219211364997/15625000000000000000000000 -21799041548038281465332423/31250000000000000000000000 697569327122550489430604707/1000000000000000000000000000 -43598083028115425219845953/62500000000000000000000000 -11438843994946677241757943/250000000000000000000000000 1761490243308735755506838109/1000000000000000000000000000 -715161594185854212036087271/500000000000000000000000000 -33116704988657453010141887/200000000000000000000000000
139397663059990937482731317/250000000000000000000000000 -139397663059990937482731317/250000000000000000000000000 314677137193836691/200000000000000000000000000 69756932855291744495400479/100000000000000000000000000 -174392331287010703451753633/250000000000000000000000000 697569326763957216653180543/1000000000000000000000000000 -11438844125766584791267513/250000000000000000000000000 -715161594185854212036087271/500000000000000000000000000 27523284998602980907408183/15625000000000000000000000 -165583528216459447898173179/1000000000000000000000000000
138154390807501703/1000000000000000000000000000 -138154390807501703/1000000000000000000000000000 -557590652829458039123342759/1000000000000000000000000000 -43598082997117265991885991/62500000000000000000000000 697569328806064668400399353/1000000000000000000000000000 348784662938648101871004863/500000000000000000000000000 9151074984635948566673929/200000000000000000000000000 -33116704988657453010141887/200000000000000000000000000 -165583528216459447898173179/1000000000000000000000000000 880745121716279710076711283/500000000000000000000000000

